Hanifa Boucheneb And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000E28 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
003016 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
This area was generated with Dilib version V0.6.33. |